Code Generation for Safety-Critical Systems
نویسندگان
چکیده
It is natural to rely on experiences from the aviation industry when developing safety-critical systems for automotive applications. In the aviation industry for several decades programmable systems have been used for flight control, aircraft engine control, landing gear control etc.. The safety and reliability requirements of these systems are comparable with steer-by-wire or brake-by-wire systems which are currently under development in the automotive industry.
منابع مشابه
Automatic Code Generation for Safety-Critical Systems dSPACE
The vehicles of the future will contain more and more safety-critical systems. Because of frequent changes, automatic code generators are increasingly being used in software development. The current safety standard for vehicle development, IEC61508, is designed for manual software development and provides very little support for selecting and using code generators for software in safety-critica...
متن کاملEmbedded Systems in Avionics and the Sacres Approach
This paper presents an industrial experiment in avionics of the programming environment Sildex based on the synchronous model, and an approach to the design and implementation of such safety critical embedded systems, developped in the framework of the Esprit project Sacres. The goal of the project is to integrate into a complete and uniied environment , around the synchronous models technology...
متن کاملFormal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems
Safety requirements are a very important artifact in the development of safety critical embedded systems. They are usually identified during safety analyses and are used by experts as a basis for the correct selection and implementation of safety mechanisms. Various safety analysis research groups have worked on formal modeling of safety requirements with the goal of determining if a system can...
متن کاملLanguage issues in hazard detection using queries
Safety-critical systems are pervading all areas of our lives. Accompanying the growth is an increasing level of awareness of the potential dangers involved. As a result, there has been recent realization among researchers that it is important to consider entire systems and their safety characteristics, going beyond individual embedded or real-time system components. This new focus presents an o...
متن کاملModeling Guidelines for Code Generation in the Railway Signaling Context
Modeling guidelines constitute one of the fundamental cornerstones for Model Based Development. Their relevance is essential when dealing with code generation in the safety-critical domain. This article presents the experience of a railway signaling systems manufacturer on this issue.
متن کاملUsing Automatic Code Generation for Safety-Critical System Development
To minimize the dangers of such systems, special development standards and processes have been designed for use in safety-critical applications. The established standard in automotive electronics is IEC61508. This is a generic safety standard that requires the defi nition of more detailed standards for specifi c industries and projects. Software engineering studies have shown that the RTCA DO-1...
متن کامل